Pronađeno: 1-1 / 1 radova

Autori: Yin Jiaqi

>> Filter: Samo Article i Review

>> Sve godine

Naslov Formal Analysis and Verification of DPSTM v2 Architecture Using CSP (Proceedings Paper)
Autori Li Peimu Yin Jiaqi Zhu Huibiao Xiao Lili Popovic Miroslav V  
Info 2022 IEEE 46TH ANNUAL COMPUTERS, SOFTWARE, AND APPLICATIONS CONFERENCE (COMPSAC 2022), (2022), vol. br. , str. 872-877
Projekat National Key Research and Development Program of China [2018YFB2101300]; National Natural Science Foundation of China [61872145, 62032024]; Shanghai Trusted Industry Internet Software Collaborative Innovation Center; Dean's Fund of Shanghai Key Laboratory of Trustworthy Computing (East China Normal University)
Ispravka Web of Science   Članak   Citati: Web of Science   Scopus  
facebook sharing button
twitter sharing button
linkedin sharing button
gmail sharing button
copy sharing button
>> Sve godine

Ispis zapisa u formatu:TXT | BibTeX